topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
The topological complexity [Farber 2001] of a topological space is a topological invariant related to the problem of motion planning and the immersion problem of real projective space.
For a topological space its topological complexity is the smallest number , so that there is an open cover of by open subsets addmitting local sections of the evaluation map
of the path space .
It is also possible to define it using the Schwarz genus? of the path space fibration .
There is also the convention of using the smallest number , so that an open cover of open sets of with the above property exists. This lowers all topological complexities by one, hence the convention used can be given by giving the topological complexity of the set with one point. ( for the upper convention and for the lower convention.)
A topological space is contractible iff .
The topological complexity is only dependent on the homotopy type of a topological space.
This theorem can be generalized:
A special case of this proposition is for the topological complexity of the torus.
For , the smallest natural number , so that there exists an immersion of real projective space into euclidean space is the topologial complexity (with convention ).
(Farber & Tabachnikov & Yuzvinsky 02, Theorem 12)
For , one has (with convention ).
(Farber & Tabachnikov & Yuzvinsky 02, Proposition 18)
For any , one has (with convention ).
(Farber & Tabachnikov & Yuzvinsky 02, Corollary 2)
(Cohen & Vandembrouq 18, Theorem 1.3.)
The topological complexity of the Klein bottle is (with convention ).
(Cohen & Vandembrouq 16, Theorem 1)
(Farber & Grant 08, Theorem 1)
Definition and basic properties of topological complexity:
See also:
On topological complexity of real projective space and connection with their immersion into cartesian space:
On topological complexity of connected sums:
On topological complexity of the Klein bottle:
On topological complexity of configuration space:
Last revised on February 14, 2024 at 07:49:21. See the history of this page for a list of all contributions to it.